Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
نویسندگان
چکیده
We build a new, implicitly relational abstract domain which gives accurate under-approximations of the set of real values that program variables can take. This statement is demonstrated both on a theoretical basis and on non-trivial numerical examples. It is, we believe, the first non-trivial under-approximating numerical domain in the static analysis literature.
منابع مشابه
Prediction of Sulfate Scale Depositions in Oilfield Operations Using Arithmetic of LR Fuzzy Numbers
In this study fuzzy arithmetic is presented as a tool to tackle the prediction of the amount of barium, strontium and calcium sulfates scales in oilfield operations. Since the shape of fuzzy numbers’ membership functions is a spread representative of the whole possible values for a special model parameter, fuzzy numbers are able to consider the uncertainties in parameter determinations and thus...
متن کاملOn generalized fuzzy numbers
This paper first improves Chen and Hsieh’s definition of generalized fuzzy numbers, which makes it the generalization of definition of fuzzy numbers. Secondly, in terms of the generalized fuzzy numbers set, we introduce two different kinds of orders and arithmetic operations and metrics based on the λ-cutting sets or generalized λ-cutting sets, so that the generalized fuzzy numbers are integrat...
متن کاملA Comparison of Range Arithmetic Methods in Symbolic-Numeric Circuit Analysis Applications
In this paper we compare the performance of several range arithmetic methods in evaluating problems in symbolicnumeric circuit analysis. Symbolic-numeric circuit analysis involves solving systems of linear equations in order to obtain the values of currents and voltages in a given circuit. Symbolic circuit expressions contain a large number of product terms and long chains of arithmetic operati...
متن کاملOn the structural properties for the cross product of fuzzy numbers with applications
In the fuzzy arithmetic, the definitions of addition and multiplication of fuzzy numbers are based on Zadeh’s extension principle. From theoretical and practical points of view, this multiplication of fuzzy numbers owns several unnatural properties. Recently, to avoid this shortcoming, a new multiplicative operation of product type is introduced, the so-called cross-product of fuzzy numbers. Th...
متن کاملRefining Abstract Interpretation-based Approximations with Constraint Solvers
Programs with floating-point computations are tricky to develop because floating-point arithmetic differs from real arithmetic and has many counterintuitive properties. A classical approach to verify such programs consists in estimating the precision of floating-point computations with respect to the same sequence of operations in an idealized semantics of real numbers. Tools like Fluctuat—base...
متن کامل